Analysis techniques for flow data transmission
نویسندگان
چکیده
منابع مشابه
On Probabilistic Techniques for Data Flow Analysis
We present a semantics-based technique for analysing probabilistic properties of imperative programs. This consists in a probabilistic version of classical data flow analysis. We apply this technique to pWhile programs, i.e programs written in a probabilistic version of a simple While language. As a first step we introduce a syntax based definition of a linear operator semantics (LOS) which is ...
متن کاملImplementation Techniques for Efficient Data-Flow Analysis of Large Programs
Many software engineering tools such as program slicers must perform data-flow analysis in order to extract necessary information from the program source. These tools typically borrow much of their implementation from optimizing compilers. However, since these tools are expected to analyze programs in their entirety, rather than functions in isolation, the time and space performance of the data...
متن کاملTesting Techniques for Data-Flow Synchronous Programs
Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data seq...
متن کاملTechniques for Onboard Prioritization of Science Data for Transmission
Future planetary exploration missions will continue to face an ever-increasing data prioritization problem as instrument data collection rates continue to exceed spacecraft downlink transmission rates. Hard decisions must be made about what data are sent back to Earth and what data are purged without being seen by scientists. In this article, we present a suite of techniques for the prioritizat...
متن کاملTechniques for Improving Grammar Flow Analysis
Grammar Flow Analysis (GFA) is a computation framework that can be applied to a large number of problems expressed on context-free grammars. In this framework, as was done on programs with Data Flow Analysis, those problems are split into a general resolution procedure and a set of speciic propagation functions. This paper presents a number of improvement techniques that act on the resolution p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vojnotehnicki glasnik
سال: 2006
ISSN: 0042-8469
DOI: 10.5937/vojtehg0601059j